منابع مشابه
CPS transformation of beta-redexes
The extra compaction of the most compacting CPS transformation in existence, which is due to Sabry and Felleisen, is generally attributed to (1) making continuations occur first in CPS terms and (2) classifying more redexes as administrative. We show that this extra compaction is actually independent of the relative positions of values and continuations and furthermore that it is solely due to ...
متن کاملA Selective CPS Transformation
The CPS transformation makes all functions continuation-passing, uniformly. Not all functions, however, need continuations: they only do if their evaluation includes computational effects. In this paper we focus on control operations, in particular “call with current continuation” and “throw”. We characterize this involvement as a control effect and we present a selective CPS transformation tha...
متن کاملCPS transformation of flow information
We consider the question of how a continuation-passing-style (CPS) transformation changes the ow analysis of a program. We present an algorithm that takes the least solution to the ow constraints of a program and constructs in linear time the least solution to the ow constraints for the CPS-transformed program. Previous studies of this question used CPS transformations that had the e ect of dup...
متن کاملA CPS-like Transformation of Continuation Marks
A CPS-like Transformation of Continuation Marks Kimball R. GermaneDepartment of Computer Science, BYUMaster of Science Continuation marks are a programming language feature which generalize stackinspection. Despite its usefulness, this feature has not been adopted by languages which relyon stack inspection, e.g., for dynamic security checks. One reason for this neglect may be<lb...
متن کاملOn the Idempotence of the CPS Transformation
The CPS (continuation-passing style) transformation on-terms has an interpretation both in programming languages, type theory, proof theory, and logic. Programming intuition suggests that it is idempotent, but this does not directly hold for all existing CPS transformations (Plotkin, Reynolds, Fischer, etc.). We rephrase it to make it syntactically idempotent, modulo-reduction of the newly intr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 2004
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v11i39.21864